1. Computational logic
پدیدآورنده : edited by Ulrich Berger, Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.
رده :
QA76
.
9
.
L63
E358
1999
